1. Automated technology for verification and analysis :
پدیدآورنده: Dang Van Hung, Mizuhito Ogawa (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence, Congresses,Automatic theorem proving, Congresses
رده :
QA76
.
9
.
A96
A88
2013
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)